Thomas Strahm: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Soil solution nitrogen concentrations and leaching rates as influenced by organic matter retention on a highly productive Douglas-fir site

Brian D. Strahm, Robert B. Harrison, Thomas A. Terry, Barry L. Flaming, Christopher W. Licata, Kyle S. Petersen

Journal:

Forest Ecology and Management

Year:

2005

Language:

english

File:

PDF, 312 KB

english, 2005

2

Upper Bounds for Metapredicative Mahlo in Explicit Mathematics and Admissible Set Theory

Gerhard Jäger and Thomas Strahm

Journal:

Journal of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 441 KB

english, 2001

3

Totality in applicative theories

Gerhard Jäger, Thomas Strahm

Journal:

Annals of Pure and Applied Logic

Year:

1995

Language:

english

File:

PDF, 1003 KB

english, 1995

4

Fixed point theories and dependent choice

Gerhard Jäger, Thomas Strahm

Journal:

Archive for Mathematical Logic

Year:

2000

Language:

english

File:

PDF, 149 KB

english, 2000

5

Turing’s Revolution ||

Sommaruga, Giovanni, Strahm, Thomas

Year:

2015

Language:

english

File:

PDF, 4.33 MB

english, 2015

6

[Progress in Computer Science and Applied Logic] Advances in Proof Theory Volume 28 || Machine-Checked Proof-Theory for Propositional Modal Logics

Kahle, Reinhard, Strahm, Thomas, Studer, Thomas

Year:

2016

Language:

english

File:

PDF, 792 KB

english, 2016

7

Intuitionistic Fixed Point Theories for Strictly Positive Operators

Christian Rüede, Thomas Strahm

Journal:

Mathematical Logic Quarterly

Year:

2002

Language:

english

File:

PDF, 154 KB

english, 2002

8

On the proof theory of type two functionals based on primitive recursive operations

David Steiner, Thomas Strahm

Journal:

Mathematical Logic Quarterly

Year:

2006

Language:

english

File:

PDF, 209 KB

english, 2006

9

Elementary explicit types and polynomial time operations

Daria Spescha, Thomas Strahm

Journal:

Mathematical Logic Quarterly

Year:

2009

Language:

english

File:

PDF, 153 KB

english, 2009

10

Realisability in weak systems of explicit mathematics

Daria Spescha, Thomas Strahm

Journal:

Mathematical Logic Quarterly

Year:

2011

Language:

english

File:

PDF, 186 KB

english, 2011

11

Reflections on reflections in explicit mathematics

Gerhard Jäger, Thomas Strahm

Journal:

Annals of Pure and Applied Logic

Year:

2005

Language:

english

File:

PDF, 234 KB

english, 2005

12

A proof-theoretic characterization of the basic feasible functionals

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 282 KB

english, 2004

13

The non-constructive μ operator, fixed point theories with ordinals, and the bar rule

Journal:

Annals of Pure and Applied Logic

Year:

2000

Language:

english

File:

PDF, 149 KB

english, 2000

14

The unfolding of non-finitist arithmetic

Solomon Feferman, Thomas Strahm

Journal:

Annals of Pure and Applied Logic

Year:

2000

Language:

english

File:

PDF, 165 KB

english, 2000

15

Systems of explicit mathematics with non-constructive μ-operator and join

Thomas Glaß, Thomas Strahm

Journal:

Annals of Pure and Applied Logic

Year:

1996

Language:

english

File:

PDF, 1.66 MB

english, 1996

16

Bar induction and ω model reflection

Gerhard Jäger, Thomas Strahm

Journal:

Annals of Pure and Applied Logic

Year:

1999

Language:

english

File:

PDF, 634 KB

english, 1999

17

Admissible closures of polynomial time computable arithmetic

Dieter Probst, Thomas Strahm

Journal:

Archive for Mathematical Logic

Year:

2011

Language:

english

File:

PDF, 253 KB

english, 2011

18

The(mu)quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals

Markus Marzetta, Thomas Strahm

Journal:

Archive for Mathematical Logic

Year:

1998

Language:

english

File:

PDF, 241 KB

english, 1998

19

Lack of large, homozygous deletions of the nephronophthisis 1 region in Joubert syndrome type B

Friedhelm Hildebrandt, Hans Gerd Nothwang, Urs Vossmerbäumer, Cornelia Springer, Brigitte Strahm, Bernd Hoppe, Burkhard Keuth, Arno Fuchshuber, Uwe Querfeld, Thomas J Neuhaus, Matthias Brandis, and Me

Journal:

Pediatric Nephrology

Year:

1998

Language:

english

File:

PDF, 314 KB

english, 1998

20

Children with myelodysplastic syndrome (MDS) and increasing mixed chimaerism after allogeneic stem cell transplantation have a poor outcome which can be improved by pre-emptive immunotherapy

Peter Bader, Charlotte Niemeyer, Andre Willasch, Hermann Kreyenberg, Brigitte Strahm, Bernhard Kremens, Bernd Gruhn, Dagmar Dilloo, Josef Vormoor, Peter Lang, Dietrich Niethammer, Thomas Klingebiel, J

Journal:

British Journal of Haematology

Year:

2005

Language:

english

File:

PDF, 171 KB

english, 2005

21

Introduction

Journal:

Year:

2008

Language:

english

File:

PDF, 37 KB

english, 2008

22

Primitive recursive selection functions for existential assertions over abstract algebras

Thomas Strahm, Jeffery Zucker

Journal:

The Journal of Logic and Algebraic Programming

Year:

2008

Language:

english

File:

PDF, 253 KB

english, 2008

23

Theories with self-application and computational complexity

Journal:

Information and Computation

Year:

2003

Language:

english

File:

PDF, 297 KB

english, 2003

24

Erratum to “Soil solution nitrogen concentrations and leaching rates as influenced by organic matter retention on a highly productive Douglas-fir site” [For. Ecol. Manage. 218 (2005) 74–88]

Brian D. Strahm, Robert B. Harrison, Thomas A. Terry, Barry L. Flaming, Christopher W. Licata, Kyle S. Petersen

Journal:

Forest Ecology and Management

Year:

2006

Language:

english

File:

PDF, 48 KB

english, 2006

25

Changes in dissolved organic matter with depth suggest the potential for postharvest organic matter retention to increase subsurface soil carbon pools

Brian D. Strahm, Robert B. Harrison, Thomas A. Terry, Timothy B. Harrington, A.B. Adams, Paul W. Footen

Journal:

Forest Ecology and Management

Year:

2009

Language:

english

File:

PDF, 301 KB

english, 2009

26

Nitrogen leaching following whole-tree and bole-only harvests on two contrasting Pacific Northwest sites

Warren D. Devine, Paul W. Footen, Brian D. Strahm, Robert B. Harrison, Thomas A. Terry, Timothy B. Harrington

Journal:

Forest Ecology and Management

Year:

2012

Language:

english

File:

PDF, 710 KB

english, 2012

27

Influences of β-HCG administration on carbon isotope ratios of endogenous urinary steroids

Thomas Piper, Norbert Baume, Emanuel Strahm, Caroline Emery, Martial Saugy

Journal:

Year:

2012

Language:

english

File:

PDF, 793 KB

english, 2012

28

Second order theories with ordinals and elementary comprehension

Gerhard Jäger and Thomas Strahm

Journal:

Archive for Mathematical Logic

Year:

1995

Language:

english

File:

PDF, 579 KB

english, 1995

29

Evolutionary conservation ofotd/Otx2transcription factor action: a genome-wide microarray analysis inDrosophila

Haiqiong Montalta-He, Ronny Leemans, Thomas Loop, Martin Strahm…

Journal:

Year:

2002

Language:

english

File:

PDF, 1.11 MB

english, 2002

30

Switchgrass intercropping reduces soil inorganic nitrogen in a young loblolly pine plantation located in coastal North Carolina

Minick, Kevan J., Strahm, Brian D., Fox, Thomas R., Sucre, Eric B., Leggett, Zakiya H., Zerpa, Jose L.

Journal:

Forest Ecology and Management

Year:

2014

Language:

english

File:

PDF, 642 KB

english, 2014

31

The Major Yeast poly(A)-Binding Protein is Associated with Cleavage Factor IA and Functions in Premessenger RNA 3′-End Formation

Lionel Minvielle-Sebastia, Pascal J. Preker, Thomas Wiederkehr, Yvan Strahm and Walter Keller

Journal:

Proceedings of the National Academy of Sciences

Year:

1997

Language:

english

File:

PDF, 1.73 MB

english, 1997

32

Wellordering Proofs for Metapredicative Mahlo

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 380 KB

english, 2002

33

Predicting macronutrient concentrations from loblolly pine leaf reflectance across local and regional scales

Stein, Beth R., Thomas, Valerie A., Lorentz, Laura J., Strahm, Brian D.

Journal:

GIScience & Remote Sensing

Year:

2014

Language:

english

File:

PDF, 925 KB

english, 2014

34

Polynomial time operations in explicit mathematics

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 391 KB

english, 1997

35

Uniformity and Quality of Monocrystalline Silicon Passivation by Thin Intrinsic Amorphous Silicon in a New Generation Plasma-enhanced Chemical Vapor Deposition Reactor

Strahm, Benjamin, Andrault, Yoann, Bäetzner, Derk, Lachenal, Damien, Guérin, Chloé, Kobas, Manuela, Mai, Joachim, Mendes, Bruno, Schulze, Thomas, Wahli, Guillaume, Buechel, Arthur

Journal:

MRS Proceedings

Year:

2010

Language:

english

File:

PDF, 214 KB

english, 2010

36

Cantini Andrea. Logical frameworks for truth and abstraction. An axiomatic study. Studies in logic and the foundations of mathematics, vol. 135. Elsevier, Amsterdam etc. 1996, xii + 461 pp.

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 341 KB

english, 1998

37

The proof-theoretic analysis of transfinitely iterated fixed point theories

JÄger, Gerhard, Kahle, Reinhard, Setzer, Anton, Strahm, Thomas

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 969 KB

english, 1999

38

Wellordering proofs for metapredicative Mahlo

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 1.17 MB

english, 2002

39

UNFOLDING FINITIST ARITHMETIC

FEFERMAN, SOLOMON, STRAHM, THOMAS

Journal:

The Review of Symbolic Logic

Year:

2010

Language:

english

File:

PDF, 181 KB

english, 2010

40

A note on the theory SID

Ranzi, Florian, Strahm, Thomas

Journal:

Mathematical Logic Quarterly

Year:

2014

Language:

english

File:

PDF, 173 KB

english, 2014

41

Partial Applicative Theories and Explicit Substitutions

Journal:

Journal of Logic and Computation

Year:

1996

Language:

english

File:

PDF, 1015 KB

english, 1996

42

How Is it That Infinitary Methods Can Be Applied to Finitary Mathematics? Gödel's T: A Case Studyby Andreas Weiermann

Review by: Thomas Strahm

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 140 KB

english, 2002

43

Some Theories with Positive Induction of Ordinal Strength φω 0

Gerhard Jäger and Thomas Strahm

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 548 KB

english, 1996

44

Transplantation from a symptomatic carrier sister restores host defenses but does not prevent colitis in NEMO deficiency

Klemann, Christian, Pannicke, Ulrich, Morris-Rosendahl, Deborah J., Vlantis, Katerina, Rizzi, Marta, Uhlig, Holm, Vraetz, Thomas, Speckmann, Carsten, Strahm, Brigitte, Pasparakis, Manolis, Schwarz, Kl

Journal:

Clinical Immunology

Year:

2016

Language:

english

File:

PDF, 522 KB

english, 2016

45

Turing’s Revolution || Proof Theoretic Analysis by Iterated Reflection

Sommaruga, Giovanni, Strahm, Thomas

Year:

2015

Language:

english

File:

PDF, 492 KB

english, 2015

46

Turing’s Revolution || Proving Things About the Informal

Sommaruga, Giovanni, Strahm, Thomas

Year:

2015

Language:

english

File:

PDF, 170 KB

english, 2015

47

[Progress in Computer Science and Applied Logic] Advances in Proof Theory Volume 28 ||

Kahle, Reinhard, Strahm, Thomas, Studer, Thomas

Year:

2016

Language:

english

File:

PDF, 11.27 MB

english, 2016

48

The Journal of Symbolic Logic

Journal:

Bulletin of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 84 KB

english, 2003

49

[Progress in Computer Science and Applied Logic] Advances in Proof Theory Volume 28 || Lindenbaum’s Lemma via Open Induction

Kahle, Reinhard, Strahm, Thomas, Studer, Thomas

Year:

2016

Language:

english

File:

PDF, 168 KB

english, 2016

50

Ammonia volatilization following nitrogen fertilization with enhanced efficiency fertilizers and urea in loblolly pine (Pinus taeda L.) plantations of the southern United States

Raymond, Jay E., Fox, Thomas R., Strahm, Brian D., Zerpa, Jose

Journal:

Forest Ecology and Management

Year:

2016

Language:

english

File:

PDF, 746 KB

english, 2016